Словарь по логике - пропозициональная связка
Связанные словари
Пропозициональная связка
операция, позволяющая из данных суждений (высказываний) строить новые суждения (высказывания). В логике высказываний высказывания (формулы) рассматриваются лишь с точки зрения их истинности или ложности. Если A и В к.-л. формулы (простые, элементарные или сложные, построенные из элементарных), то из них с помощью П. с. могут строиться новые формулы: А & В, AvB, A-> B, А = В, если А формула, то ~А также формула. Символы "&", "v", "->", "=", "~" выражают П. с., которые определяются на семантическом, содержательно-алгоритмическом уровне при помощи таблиц истинности. Эти П. с. соответственно называются: конъюнкцией, дизъюнкцией, импликацией, эквиваленцией, отрицанием. Смысл П. с. в русском языке передается при помощи следующих выражений:
конъюнкция с помощью союзов "и", "а", "но", "хотя" и др.;
дизъюнкция (нестрогая) с помощью выражений: "или", "или, или оба";
импликация с помощью выражений "если..., то", "влечет", "следует" (ср.: "Если А, то В", "А влечет В", "Из А следует В");
эквиваленция с помощью выражений "эквивалентно", "равносильно", "тогда и только тогда", "если и только если";
отрицание с помощью выражений "не", "неверно, что".
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 1496 | |
2 | 1308 | |
3 | 1165 | |
4 | 1009 | |
5 | 766 | |
6 | 711 | |
7 | 683 | |
8 | 681 | |
9 | 655 | |
10 | 653 | |
11 | 613 | |
12 | 612 | |
13 | 572 | |
14 | 572 | |
15 | 561 | |
16 | 559 | |
17 | 554 | |
18 | 539 | |
19 | 536 | |
20 | 522 |